disjunctive normal form
英
美
析取范式
双语例句
- A Surface-based DNA Algorithm for the Conversion of Conjunctive Normal Form into Disjunctive Normal Form The Policy of the Chinese International Bank Buying
合取范式化为析取范式的DNA表面计算中国银行业跨国并购的策略选择&基于OLI框架的分析 - With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。 - Disjunctive Normal Form Generation Algorithm for Discernibility Function in Rough Set Theory
粗糙集理论中分辨函数的析取范式生成算法 - In propositional calculus system of medium logic ( MP~), superior disjunctive normal form theorem and two corollary have been proved.
本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？） - Through making the best of absorptivity of conjunctive disjunctive operation, based on the mechanism of artificial normal form conversion, an algorithm transforming a discernibility function from conjunction normal form to disjunction normal form is proposed with virtue of queue structure.
依据人工范式转换的运行机制，充分利用合取运算和析取运算的吸收率，并借助队列结构，提出了一种面向分辨函数的范式转换算法。 - Based on Hierons ′ s rewrite rules and Z specification, a tree split arithmetic was presented to rewrite the restriction predication in Operation Scheme to ∨ iP_i ∧ Q_i disjunctive normal form.
该方法基于软件的Z语言规约；以Hierons提出的推理规则为基础，提出了分裂树的算法，将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式； - An Investigation on the Algorithm for Decision of Validity of Disjunctive Normal Form ( DNF) by the Triangle Form
用三角式判定析取范式永真性的算法研究 - This paper deals with the simplification of Fuzzy function from disjunctive normal form to simplest form several sufficient and necessary conditions are displayed.
讨论了Fuzzy函数的析取范式化为最简式的问题，得到了几个充分必要条件。 - An analysis on the construction of disjunctive normal form ( dnf) by means of equal covering and cone form
用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法 - To support the truth table method, the properties of the minimal form are cited. Besides, it proves the theorem of the main disjunctive normal form of seeking G with the definition of formula equality.
用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求G的主析取范式的定理。